A Dynamic Epistemic Framework for Conformant Planning
نویسندگان
چکیده
منابع مشابه
A Dynamic Epistemic Framework for Conformant Planning
In this paper, we introduce a lightweight dynamic epistemic logical framework for automated planning under initial uncertainty. We reduce plan verification and conformant planning to model checking problems of our logic. We show that the model checking problem of the iteration-free fragment is PSPACE-complete. By using two non-standard (but equivalent) semantics, we give novel model checking al...
متن کاملPlanning based on dynamic epistemic logic
1 Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE Amsterdam, The Netherlands; [email protected] 2 Department Mathematik, Universität Hamburg, Bundesstrasse 55, 20146 Hamburg, Germany 3 Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn, Endenicher Allee 60, 53115 Bonn, Germany 4 Tilburg Center for Logic and Philosophy of Scienc...
متن کاملFragment-based Conformant Planning
With complex systems such as spacecraft, we often need to achieve goals even though failures prevent the exact state of the system from being determined. Conformant planning is the problem of generating a plan that moves a system from any of a number of possible initial states to a goal state, given that actions may have uncertain outcomes and sensing is unavailable. Two existing approaches to ...
متن کاملEfficient Conformant Planning
Planning in nondeterministic domains has gained more and more importance. Conformant planning is the problem of finding a sequential plan that guarantees the achievement of a goal regardless of the initial uncertainty and of nondeterministic action effects. In this paper, we present a new and efficient approach to conformant planning. The search paradigm, called heuristic-symbolic search, relie...
متن کاملIntelligent Belief State Sampling for Conformant Planning
We propose a new method for conformant planning based on two ideas. First given a small sample of the initial belief state we reduce conformant planning for this sample to a classical planning problem, giving us a candidate solution. Second we exploit regression as a way to compactly represent necessary conditions for such a solution to be valid for the non-deterministic setting. If necessary, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2016
ISSN: 2075-2180
DOI: 10.4204/eptcs.215.21